退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:通过有界模型检查检查定时解释系统的EmTLK属性?
机译:通过有界模型检查来检查定时解释系统的EMTLK属性
机译:通过有界模型检查来检查离散定时自动机的MTL属性
机译:基于SAT的加权解释系统的有界模型检查。
机译:通过有限模型检查检查定时解释系统的EMTLK属性
机译:Unbounded-2-bounded:两阶段近似,用于模型检查无穷大直到概率系统的性质。
机译:检查学习模型解释性和概括性的外部验证的扩展
机译:LTL模型检查系统,LTL模型检查方法和LTL模型检查程序
机译:用于检查用于汽车行业中的汽车的控制装置的测试和安全性的嵌入式系统的方法,涉及通过检查过程执行记录的检查,以及在最近的检查步骤中评估记录的时间戳记
机译:有限内存检查中嵌入式内存的高效建模
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。